Types for Proofs and Programs
Paperback
Published 28 Apr 2003
Save $6.92
- RRP $61.51
- $54.59
Search for "J H Geuvers"
2 results
-
$6.92off
-
Selected Papers on Automath
Book
Published 31 Oct 1994